例句與造句

1. These last are more accurately called non-linear types ( e . g.
2. However, the linear type has no restriction in one dimension, because it can roll.
3. It is common to extend this case to closed symmetric monoidal categories by using a linear type system.
4. A late nineteenth-century reader was, however, accustomed to more orderly and linear types of expository narration.
5. The internal language of closed symmetric monoidal categories is linear logic and the type system is the linear type system.
6. It's difficult to find linear typing in a sentence. 用linear typing造句挺難的
7. More precisely, one may construct functors between the category of linear type systems and the category of closed symmetric monoidal categories.
8. The internal language of such categories is linear logic, a form of quantum logic; the corresponding type system is the linear type system.
9. The linear type system, and linear logic are useful for describing synchronization primitives, such as mutual exclusion locks, and the operation of vending machines.
10. The single-reference property makes linear type systems suitable as programming languages for quantum computation, as it reflects the no-cloning theorem of quantum states.
11. Linear type systems are the internal language of closed symmetric monoidal categories, much in the same way that simply typed lambda calculus is the language of Cartesian closed categories.
12. The Clean programming language makes use of uniqueness types ( a variant of linear types ) to help support concurrency, input / output, and in-place update of arrays.
13. A linear type won't be too effective here since the voltage drop is large expressed as a ratio of input ( 12V ) with the output probably being 5V or lower.
14. The most famous of these are simply typed lambda calculus, which is the internal language of Cartesian closed categories, and the linear type system, which is the internal language of closed symmetric monoidal categories.
15. The standard traditional neon transformer, a magnetic shunt transformer, is a special non-linear type designed to keep the voltage across the tube raised to whatever level is necessary to produce the fixed current needed.
16. Linear types, based on the theory of linear logic, and closely related to uniqueness types, are types assigned to values having the property that they have one and only one reference to them at all times.
更多例句：  下一頁(yè)